|
|
1.
|
Beginning model theory
: the completeness theorem and some consequences
by Bridge, Jane. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: vii, 143p.Publisher: Oxford Clarendon Press 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 B764B COP.3] (2).
|
|
|
2.
|
THE DECISION PROBLEM
by Dreben, Burton | Goldfarb, Warren D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,271.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D81] (1).
|
|
|
3.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
4.
|
UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS
by Lewis, Harry R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).
|
|
|
5.
|
DEGREES OF UNSOLVABILITY
by Lerman, Manuel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).
|
|
|
6.
|
HANDBOOK OF MATHEMATICAL LOGIC
by Barwise, Jon [ed.]. Material type: Book; Literary form: Description: 1165p.Publisher: Amsterdam North Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.37 H191] (1).
|
|
|
7.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 328p.Publisher: New York D. Van Nostrand 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M522i2] (1).
|
|
|
8.
|
Mathematical logic for computer science
by Zhonngwan, Lu. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 248p.Publisher: Singapore World Scientific 1989Availability: No items available Checked out (1).
|
|
|
9.
|
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS
by Thistlewaite, Paul B | Meyer, Robert K. Material type: Book Description: 154.Publisher: London Pitman c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T349a] (1).
|
|
|
10.
|
An Introduction to Non Classical Logic
by Priest,Graham. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,242p.Publisher: Cambridge Cambridge Univ. Press 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 P933I] (1).
|
|
|
11.
|
INTERPOLATION AND DEFINABILITY
by Gabbay,D. M | Maksimova,L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,508.Publisher: Clarendon Press, Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111I] (1).
|
|
|
12.
|
Finite model theory and its applications
by Gradel, Erich...[Et. Al]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F495] (1).
|
|
|
13.
|
Aspects of mathematical logic
: lectures given at a summer school of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968)
by | Casari, E., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 285p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.9 C738] (1).
|
|
|
14.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
15.
|
A logical introduction to proof
by Cunningham, Daniel W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 356p.Publisher: New York Springer 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.36 C917l] (1).
|
|
|
16.
|
First order mathematical logic
by Margaris , Angelo. Material type: Book Description: x, 211p.Publisher: Waltham Blaisdell Publishing 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 M336f] (1).
|
|
|
17.
|
Compound statements and mathematical logic
by Canelosi, Vincent E. Material type: Book Description: xii, 114p.Publisher: Columbs Chales E. Merrill Books, Inc. 1967Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 C162c] (1).
|
|
|
18.
|
First course in mathematical logic
by Suppes, Patrick | Hill, Shirley. Material type: Book Description: ix, 274p.Publisher: New York Blaisdell Publishing 1964Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 Su76f] (1).
|
|
|
19.
|
Mathmatical logic and the foundations of mathematics
: an introductory survey
by Kneebone, G.T. Material type: Book Description: viii, 435p.Publisher: London D. Van Nostrand Company Limited 1963Availability: No items available Withdrawn (1).
|
|
|
20.
|
Studies in constructive mathematics and mathematical logic
by Slisenko, A. O. [ed.]. Description: viii, 88p.Publisher: New York Consultants Bureau 1969Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 164 Sl37s] (1).
|
